Modelling Unique and Affine Typing Using Polymorphism
نویسنده
چکیده
Uniqueness typing and affine (or linear) typing are dual type systems. Uniqueness gives a guarantee that an term has not been shared, while affinity imposes a restriction that a term may not be shared. We show that we can unify both concepts through polymorphism.
منابع مشابه
Restriction Fragment Length Polymorphism Typing of Staphylococcus aureus Strains Isolated from Bovine Mastitis and Dairy Products in Ahvaz, Iran, Using of Digested Coagulase Gene
Staphylococcus aureus is a major pathogen in the transmission of diseases from animals to humans and vice-versa.Various infections, such as mastitis in cattle, sheep and goats, as well as gastroenteritis due to food poisoning in humans are the most frequent problems caused by S. aureus. The bacteria also lead to severe economic losses in dairy industry. A major virulence facto...
متن کاملClustering of Beijing genotype Mycobacterium tuberculosis isolates from the Mekong delta in Vietnam on the basis of variable number of tandem repeat versus restriction fragment length polymorphism typing
BACKGROUND In comparison to restriction fragment length polymorphism (RFLP) typing, variable number of tandem repeat (VNTR) typing is easier to perform, faster and yields results in a simple, numerical format. Therefore, this technique has gained recognition as the new international gold standard in typing of Mycobacterium tuberculosis. However, some reports indicated that VNTR typing may be le...
متن کاملGenetic Heterogeneity among Leishmania major Isolates in Iran Determined by Restriction Fragment Length Polymorphism (RFLP) and Multilocus Microsatellite Typing (MLMT)
Background & Aims: In recent years, molecular methods for characterizing genetic heterogeneity have found a major place in modern approaches. In this study, two different molecular techniques including Restriction Fragment Length Polymorphism (RFLP) and Multi Locus microsatellite typing (MLMT) were carried out in order to evaluate genetic heterogeneity among isolates of Leishmania major in Iran...
متن کاملA Feasible Algorithm for Typing in Elementary Affine Logic
We give a new type inference algorithm for typing lambda-terms in Elementary Affine Logic (EAL), which is motivated by applications to complexity and optimal reduction. Following previous references on this topic, the variant of EAL type system we consider (denoted EAL ) is a variant without sharing and without polymorphism. Our algorithm improves over the ones already known in that it offers a...
متن کاملA Simplified Van Erth Single Nucleotide Polymorphism (SNP) Typing Method of Bacillus Anthracis Applicable by Traditional Thermocycler Machines
Abstract SNP typing is now a well-established genotyping system in Bacillus anthracis studies. In the original standard method of Van Erth, SNPs at 13 loci of the B. anthracis genome were analyzed. In order to simplify and make appropriate this expensive method to low-budget laboratory settings, 13 primer pairs targeting the 13 corresponding SNPs were designed. Besides, a universal PCR proto...
متن کامل